Перевод: с английского на все языки

со всех языков на английский

recursively realizable

См. также в других словарях:

  • Hardware description language — In electronics, a hardware description language or HDL is any language from a class of computer languages and/or programming languages for formal description of electronic circuits. It can describe the circuit s operation, its design and… …   Wikipedia

  • Realizability — is a part of proof theory which can be used to handle information about formulas instead of about the proofs of formulas. [Oosten, pp. 3 5] A natural number n is said to realize a statement in the language of arithmetic of natural numbers. Other… …   Wikipedia

  • Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»